// Serialized ImGui windows docking configuration
// generated using <geogram_program> gui:expert=true
// then Windows->Export gui state to C++
const char gui_state[] = {
91,87,105,110,100,111,119,93,91,68,
111,99,107,83,112,97,99,101,93,9,
80,111,115,61,48,44,48,9,83,105,
122,101,61,49,48,50,52,44,49,48,
50,52,9,67,111,108,108,97,112,115,
101,100,61,48,9,9,91,87,105,110,
100,111,119,93,91,char(239), char(128), char(176), 32,86,
105,101,119,101,114,93,9,80,111,115,
61,48,44,50,52,9,83,105,122,101,
61,49,53,56,44,56,50,53,9,67,
111,108,108,97,112,115,101,100,61,48,
9,68,111,99,107,73,100,61,48,120,
48,48,48,48,48,48,48,57,44,48,
9,9,91,87,105,110,100,111,119,93,
91,char(239), char(129), char(132), 32,79,98,106,101,99,
116,93,9,80,111,115,61,56,53,56,
44,50,52,9,83,105,122,101,61,49,
54,54,44,56,50,53,9,67,111,108,
108,97,112,115,101,100,61,48,9,68,
111,99,107,73,100,61,48,120,48,48,
48,48,48,48,48,52,44,48,9,9,
91,87,105,110,100,111,119,93,91,67,
111,110,115,111,108,101,93,9,80,111,
115,61,48,44,56,53,49,9,83,105,
122,101,61,49,48,50,52,44,49,55,
50,9,67,111,108,108,97,112,115,101,
100,61,48,9,68,111,99,107,73,100,
61,48,120,48,48,48,48,48,48,48,
50,9,9,91,87,105,110,100,111,119,
93,91,84,101,120,116,32,69,100,105,
116,111,114,93,9,80,111,115,61,50,
50,48,44,50,52,9,83,105,122,101,
61,53,56,48,44,55,54,52,9,67,
111,108,108,97,112,115,101,100,61,48,
9,68,111,99,107,73,100,61,48,120,
48,48,48,48,48,48,48,54,44,49,
9,9,91,87,105,110,100,111,119,93,
91,68,101,98,117,103,35,35,68,101,
102,97,117,108,116,93,9,80,111,115,
61,54,48,44,54,48,9,83,105,122,
101,61,52,48,48,44,52,48,48,9,
67,111,108,108,97,112,115,101,100,61,
48,9,9,91,87,105,110,100,111,119,
93,91,73,109,71,117,105,32,68,101,
109,111,93,9,80,111,115,61,49,54,
48,44,50,52,9,83,105,122,101,61,
54,52,48,44,55,54,52,9,67,111,
108,108,97,112,115,101,100,61,48,9,
68,111,99,107,73,100,61,48,120,48,
48,48,48,48,48,48,54,44,48,9,
9,91,87,105,110,100,111,119,93,91,
115,97,121,32,104,101,108,108,111,93,
9,80,111,115,61,48,44,52,57,54,
9,83,105,122,101,61,49,53,56,44,
50,57,50,9,67,111,108,108,97,112,
115,101,100,61,48,9,68,111,99,107,
73,100,61,48,120,48,48,48,48,48,
48,48,56,9,9,91,87,105,110,100,
111,119,93,91,67,111,109,109,97,110,
100,93,9,80,111,115,61,48,44,52,
57,51,9,83,105,122,101,61,49,53,
56,44,50,57,53,9,67,111,108,108,
97,112,115,101,100,61,48,9,68,111,
99,107,73,100,61,48,120,48,48,48,
48,48,48,48,65,9,9,91,68,111,
99,107,105,110,103,93,91,68,97,116,
97,93,9,68,111,99,107,83,112,97,
99,101,32,32,32,32,32,32,32,32,
32,32,32,73,68,61,48,120,48,57,
69,70,52,53,57,70,32,80,111,115,
61,48,44,50,52,32,83,105,122,101,
61,49,48,50,52,44,57,57,57,32,
83,112,108,105,116,61,89,9,32,32,
68,111,99,107,78,111,100,101,32,32,
32,32,32,32,32,32,32,32,73,68,
61,48,120,48,48,48,48,48,48,48,
49,32,80,97,114,101,110,116,61,48,
120,48,57,69,70,52,53,57,70,32,
83,105,122,101,82,101,102,61,49,48,
50,52,44,56,50,53,32,83,112,108,
105,116,61,88,9,32,32,32,32,68,
111,99,107,78,111,100,101,32,32,32,
32,32,32,32,32,73,68,61,48,120,
48,48,48,48,48,48,48,51,32,80,
97,114,101,110,116,61,48,120,48,48,
48,48,48,48,48,49,32,83,105,122,
101,82,101,102,61,56,53,54,44,55,
54,52,32,83,112,108,105,116,61,88,
9,32,32,32,32,32,32,68,111,99,
107,78,111,100,101,32,32,32,32,32,
32,73,68,61,48,120,48,48,48,48,
48,48,48,53,32,80,97,114,101,110,
116,61,48,120,48,48,48,48,48,48,
48,51,32,83,105,122,101,82,101,102,
61,49,53,56,44,55,54,52,32,83,
112,108,105,116,61,89,32,83,101,108,
101,99,116,101,100,84,97,98,61,48,
120,48,55,57,53,55,66,67,56,9,
32,32,32,32,32,32,32,32,68,111,
99,107,78,111,100,101,32,32,32,32,
73,68,61,48,120,48,48,48,48,48,
48,48,55,32,80,97,114,101,110,116,
61,48,120,48,48,48,48,48,48,48,
53,32,83,105,122,101,82,101,102,61,
49,53,56,44,52,55,48,32,83,112,
108,105,116,61,89,32,83,101,108,101,
99,116,101,100,84,97,98,61,48,120,
48,55,57,53,55,66,67,56,9,32,
32,32,32,32,32,32,32,32,32,68,
111,99,107,78,111,100,101,32,32,73,
68,61,48,120,48,48,48,48,48,48,
48,57,32,80,97,114,101,110,116,61,
48,120,48,48,48,48,48,48,48,55,
32,83,105,122,101,82,101,102,61,49,
53,56,44,52,54,55,32,72,105,100,
100,101,110,84,97,98,66,97,114,61,
49,32,83,101,108,101,99,116,101,100,
84,97,98,61,48,120,69,70,52,70,
68,57,51,69,9,32,32,32,32,32,
32,32,32,32,32,68,111,99,107,78,
111,100,101,32,32,73,68,61,48,120,
48,48,48,48,48,48,48,65,32,80,
97,114,101,110,116,61,48,120,48,48,
48,48,48,48,48,55,32,83,105,122,
101,82,101,102,61,49,53,56,44,50,
57,53,32,72,105,100,100,101,110,84,
97,98,66,97,114,61,49,32,83,101,
108,101,99,116,101,100,84,97,98,61,
48,120,52,49,55,55,68,51,52,56,
9,32,32,32,32,32,32,32,32,68,
111,99,107,78,111,100,101,32,32,32,
32,73,68,61,48,120,48,48,48,48,
48,48,48,56,32,80,97,114,101,110,
116,61,48,120,48,48,48,48,48,48,
48,53,32,83,105,122,101,82,101,102,
61,49,53,56,44,50,57,50,32,72,
105,100,100,101,110,84,97,98,66,97,
114,61,49,32,83,101,108,101,99,116,
101,100,84,97,98,61,48,120,66,68,
48,56,56,65,67,69,9,32,32,32,
32,32,32,68,111,99,107,78,111,100,
101,32,32,32,32,32,32,73,68,61,
48,120,48,48,48,48,48,48,48,54,
32,80,97,114,101,110,116,61,48,120,
48,48,48,48,48,48,48,51,32,83,
105,122,101,82,101,102,61,54,57,54,
44,55,54,52,32,67,101,110,116,114,
97,108,78,111,100,101,61,49,32,72,
105,100,100,101,110,84,97,98,66,97,
114,61,49,32,83,101,108,101,99,116,
101,100,84,97,98,61,48,120,48,56,
48,70,67,56,56,51,9,32,32,32,
32,68,111,99,107,78,111,100,101,32,
32,32,32,32,32,32,32,73,68,61,
48,120,48,48,48,48,48,48,48,52,
32,80,97,114,101,110,116,61,48,120,
48,48,48,48,48,48,48,49,32,83,
105,122,101,82,101,102,61,49,54,54,
44,55,54,52,32,72,105,100,100,101,
110,84,97,98,66,97,114,61,49,32,
83,101,108,101,99,116,101,100,84,97,
98,61,48,120,53,50,52,50,57,55,
52,51,9,32,32,68,111,99,107,78,
111,100,101,32,32,32,32,32,32,32,
32,32,32,73,68,61,48,120,48,48,
48,48,48,48,48,50,32,80,97,114,
101,110,116,61,48,120,48,57,69,70,
52,53,57,70,32,83,105,122,101,82,
101,102,61,49,48,50,52,44,49,55,
50,32,72,105,100,100,101,110,84,97,
98,66,97,114,61,49,32,83,101,108,
101,99,116,101,100,84,97,98,61,48,
120,70,57,66,69,70,54,50,65,9,
9, 0 };
